InstanceArgumentsModNotParameterised.agda:14,6-7
InstanceArgumentsModNotParameterised.C is not a parameterised
section
when checking the module application module _ = C {{...}}
